<?php

  class SevensCategory extends NumberCategory
  {
    protected function getNumber()
    {
      return 7;
    }
  }

?>